REST API
#用語
HTTPを介してGET,POSTなどで操作するAPIのこと
このプロジェクト内ではGateway APIに対してHTTPで操作するDiscord APIのことを指すことがある